<html>
<head><meta charset="utf-8"><title>meeting 2019.11.26 · t-compiler/wg-polonius · Zulip Chat Archive</title></head>
<h2>Stream: <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/index.html">t-compiler/wg-polonius</a></h2>
<h3>Topic: <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E11.2E26.html">meeting 2019.11.26</a></h3>

<hr>

<base href="https://rust-lang.zulipchat.com">

<head><link href="https://rust-lang.github.io/zulip_archive/style.css" rel="stylesheet"></head>

<a name="181812143"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.11.26/near/181812143" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lqd <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E11.2E26.html#181812143">(Nov 25 2019 at 11:24)</a>:</h4>
<p>hey all, after the "polonius work week" I'm going to be a bit swamped at work, and since Niko won't be attending either, I propose we do the updates async, what do you think ?<br>
Not sure how far I am going to get but I'd like to:</p>
<ul>
<li>do the final bits of <a href="https://github.com/rust-lang/polonius/pull/137" target="_blank" title="https://github.com/rust-lang/polonius/pull/137">https://github.com/rust-lang/polonius/pull/137</a> to land it</li>
<li>release another version</li>
<li>rebase the rustc branch to use the released version and open a subset errors PR</li>
<li>help Albin in some areas (at least with the parsing)</li>
</ul>



<a name="181862724"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.11.26/near/181862724" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lqd <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E11.2E26.html#181862724">(Nov 25 2019 at 21:04)</a>:</h4>
<p><a href="https://github.com/rust-lang-nursery/polonius/issues/137" target="_blank" title="https://github.com/rust-lang-nursery/polonius/issues/137">polonius#137</a> seems ready, merging <span aria-label="tada" class="emoji emoji-1f389" role="img" title="tada">:tada:</span></p>



<a name="181864086"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.11.26/near/181864086" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lqd <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E11.2E26.html#181864086">(Nov 25 2019 at 21:19)</a>:</h4>
<p>I'll prepare a version-bump PR, maybe Matthew or Albin can review it whenever they have the time (I'm not pinging either of you, it's late :)  —  and will <em>try</em> to publish ( <span aria-label="fingers crossed" class="emoji emoji-1f91e" role="img" title="fingers crossed">:fingers_crossed:</span>)</p>



<a name="181864932"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.11.26/near/181864932" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lqd <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E11.2E26.html#181864932">(Nov 25 2019 at 21:29)</a>:</h4>
<p>said PR <a href="https://github.com/rust-lang/polonius/pull/140" target="_blank" title="https://github.com/rust-lang/polonius/pull/140">https://github.com/rust-lang/polonius/pull/140</a></p>



<a name="181866714"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.11.26/near/181866714" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lqd <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E11.2E26.html#181866714">(Nov 25 2019 at 21:46)</a>:</h4>
<p><span class="user-mention" data-user-id="116155">@Jake Goulding</span> I was also confused by this. I can also bump to a "real" 0.6 and change the releases.md so that those 2 unreleased but documented versions are under the 0.6 heading if you find it'd be better/clearer</p>



<a name="181866918"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.11.26/near/181866918" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lqd <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E11.2E26.html#181866918">(Nov 25 2019 at 21:49)</a>:</h4>
<p>(that was re: <a href="https://github.com/rust-lang/polonius/pull/140#discussion_r350433885" target="_blank" title="https://github.com/rust-lang/polonius/pull/140#discussion_r350433885">https://github.com/rust-lang/polonius/pull/140#discussion_r350433885</a> for anyone following at home)</p>



<a name="181867048"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.11.26/near/181867048" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jake Goulding <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E11.2E26.html#181867048">(Nov 25 2019 at 21:50)</a>:</h4>
<p>I dunno if either is more correct. More like "what went wrong that those were never published but someone changed the changelog"?</p>



<a name="181867212"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.11.26/near/181867212" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lqd <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E11.2E26.html#181867212">(Nov 25 2019 at 21:52)</a>:</h4>
<p>probably just a mistake in forgetting to bump all the cargo.tomls when trying to update polonius-engine (which is the only crate we need to publish)</p>



<a name="181867389"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.11.26/near/181867389" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lqd <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E11.2E26.html#181867389">(Nov 25 2019 at 21:54)</a>:</h4>
<p>if neither is more correct than the other, at least 0.8 will start fresh :)</p>



<a name="181867543"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.11.26/near/181867543" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lqd <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E11.2E26.html#181867543">(Nov 25 2019 at 21:56)</a>:</h4>
<p>(I don't even think the parser's 0.3 was published on <a href="http://crates.io" target="_blank" title="http://crates.io">crates.io</a> but was indeed bumped in the repo)</p>



<a name="181925401"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.11.26/near/181925401" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lqd <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E11.2E26.html#181925401">(Nov 26 2019 at 14:23)</a>:</h4>
<p><span class="user-mention" data-user-id="116155">@Jake Goulding</span> moved to 0.6 instead, and fixed the previously erroneous releases.md, wdyt?</p>



<a name="181952434"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.11.26/near/181952434" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lqd <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E11.2E26.html#181952434">(Nov 26 2019 at 18:58)</a>:</h4>
<p><span class="user-mention" data-user-id="116118">@Matthew Jasper</span> thanks</p>



<a name="181952613"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.11.26/near/181952613" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Matthew Jasper <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E11.2E26.html#181952613">(Nov 26 2019 at 19:00)</a>:</h4>
<p>np</p>



<a name="181955566"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.11.26/near/181955566" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lqd <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E11.2E26.html#181955566">(Nov 26 2019 at 19:33)</a>:</h4>
<p>ah I don't think we're able to publish, seems like only niko is an owner</p>



<hr><p>Last updated: Aug 07 2021 at 22:04 UTC</p>
</html>